Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔗 Concatenative Theory
Stack Semantics, Composition Laws, Point-Free Style, Joy Calculus
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
183855
posts in
9.4
ms
G\"odel-McKinsey-Tarski and (not quite)
Blok-Esakia
for
Heyting-Lewis
Implication
arxiv.org
·
1d
🔬
Hindley-Milner
Your
Sentence
Has a Secret
Structure
. Here’s How GPT Sees It.
pub.towardsai.net
·
8h
📋
Backus-Naur Form
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
13h
·
Discuss:
Hacker News
🧮
Combinator Calculus
Hyperfunctions
math.columbia.edu
·
15h
🔗
Category Theory
Vibecoding
Challenge 2: The Five
Feathers
(Spring 2026)
gist.github.com
·
16h
·
Discuss:
Lobsters
,
Hacker News
🌱
Tiny Languages
Differential
Logic
• 15
inquiryintoinquiry.com
·
13h
🧩
Constraint Logic
Designing a
Coherence
Score (CS) for Structural Evaluation of LLM
Outputs
dev.to
·
5h
·
Discuss:
DEV
🪜
Recursive Descent
SOLID in FP:
Liskov
Substitution
, or The Principle That Was Never About Inheritance
cekrem.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🚀
Hindley-Milner+
Mastering JavaScript
Arrays
: A Beginner's Guide to
Organize
Data Like a Pro
developer.mozilla.org
·
20h
·
Discuss:
DEV
📝
Rope Editors
Generalization
of terms via universal
algebra
arxiv.org
·
1d
🔢
Algebraic Datatypes
`
derive
_
parser
` – Automatically
derive
a
parser
from your syntax tree
github.com
·
22h
·
Discuss:
r/rust
🦀
Rust Macros
Creating
Common Ground Out of
Words
asundayofliberty.com
·
1d
🔗
Concatenative
Format
Overview
toonformat.dev
·
16h
🔢
Binary Formats
Tsonnet
#31 - Taking back control of
equality
dev.to
·
11h
·
Discuss:
DEV
🔗
Lexical Scoping
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
9h
·
Discuss:
Hacker News
🤐
Zipper Structures
extended C*-
algebra
in
nLab
ncatlab.org
·
12h
🔗
Category Theory
JLS
Deep Dive: The Rules of the Language —
Identifiers
, Keywords, and the Underscore
eldritch.codes
·
18h
·
Discuss:
DEV
📐
Standard ML
Burying
a
Changeling
into Foundation of Tower of Knowledge
lesswrong.com
·
2d
⚖️
Inference Rules
Zola
is dead to me. Long live
Kusachi
!
dork.dev
·
18h
·
Discuss:
Hacker News
🌊
Gradual Effects
Lil' Fun
Langs
'
Guts
taylor.town
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🪆
Embedded DSLs
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help